# Clauses for the ontology:
float(X):-float-interval(X).
any(X):-zoology-ontology(X).
zoology-ontology(X):-zoo-problem(X).
zoology-ontology(X):-animal(X).

# Clauses for the constants:
boolean(false).
boolean(true).
integer(0).
integer(1).
integer(7).
integer(4).
integer(5).
integer(6).
integer(3).
integer(2).
integer(8).

# Clauses for case zp-1693
# description named clam
zoo-problem(zp-1693-0).
description(zp-1693-0,zp-1693-4).
solution(zp-1693-0,7).
animal(zp-1693-4).
hair(zp-1693-4,0).
feathers(zp-1693-4,0).
egss(zp-1693-4,1).
milk(zp-1693-4,0).
airbone(zp-1693-4,0).
aquatic(zp-1693-4,0).
predator(zp-1693-4,1).
toothed(zp-1693-4,0).
backbone(zp-1693-4,0).
breathes(zp-1693-4,0).
venomous(zp-1693-4,0).
fins(zp-1693-4,0).
legs(zp-1693-4,0).
tail(zp-1693-4,0).
domestic(zp-1693-4,0).
catsize(zp-1693-4,0).

# Clauses for case zp-1746
# description named porpoise
zoo-problem(zp-1746-0).
description(zp-1746-0,zp-1746-3).
solution(zp-1746-0,1).
animal(zp-1746-3).
hair(zp-1746-3,0).
feathers(zp-1746-3,0).
egss(zp-1746-3,0).
milk(zp-1746-3,1).
airbone(zp-1746-3,0).
aquatic(zp-1746-3,1).
predator(zp-1746-3,1).
toothed(zp-1746-3,1).
backbone(zp-1746-3,1).
breathes(zp-1746-3,1).
venomous(zp-1746-3,0).
fins(zp-1746-3,1).
legs(zp-1746-3,0).
tail(zp-1746-3,1).
domestic(zp-1746-3,0).
catsize(zp-1746-3,1).

# Clauses for case zp-1688
# description named catfish
zoo-problem(zp-1688-0).
description(zp-1688-0,zp-1688-4).
solution(zp-1688-0,4).
animal(zp-1688-4).
hair(zp-1688-4,0).
feathers(zp-1688-4,0).
egss(zp-1688-4,1).
milk(zp-1688-4,0).
airbone(zp-1688-4,0).
aquatic(zp-1688-4,1).
predator(zp-1688-4,1).
toothed(zp-1688-4,1).
backbone(zp-1688-4,1).
breathes(zp-1688-4,0).
venomous(zp-1688-4,0).
fins(zp-1688-4,1).
legs(zp-1688-4,0).
tail(zp-1688-4,1).
domestic(zp-1688-4,0).
catsize(zp-1688-4,0).

# Clauses for case zp-1769
# description named toad
zoo-problem(zp-1769-0).
description(zp-1769-0,zp-1769-5).
solution(zp-1769-0,5).
animal(zp-1769-5).
hair(zp-1769-5,0).
feathers(zp-1769-5,0).
egss(zp-1769-5,1).
milk(zp-1769-5,0).
airbone(zp-1769-5,0).
aquatic(zp-1769-5,1).
predator(zp-1769-5,0).
toothed(zp-1769-5,1).
backbone(zp-1769-5,1).
breathes(zp-1769-5,1).
venomous(zp-1769-5,0).
fins(zp-1769-5,0).
legs(zp-1769-5,4).
tail(zp-1769-5,0).
domestic(zp-1769-5,0).
catsize(zp-1769-5,0).

# Clauses for case zp-1744
# description named polecat
zoo-problem(zp-1744-0).
description(zp-1744-0,zp-1744-4).
solution(zp-1744-0,1).
animal(zp-1744-4).
hair(zp-1744-4,1).
feathers(zp-1744-4,0).
egss(zp-1744-4,0).
milk(zp-1744-4,1).
airbone(zp-1744-4,0).
aquatic(zp-1744-4,0).
predator(zp-1744-4,1).
toothed(zp-1744-4,1).
backbone(zp-1744-4,1).
breathes(zp-1744-4,1).
venomous(zp-1744-4,0).
fins(zp-1744-4,0).
legs(zp-1744-4,4).
tail(zp-1744-4,1).
domestic(zp-1744-4,0).
catsize(zp-1744-4,1).

# Clauses for case zp-1698
# description named dogfish
zoo-problem(zp-1698-0).
description(zp-1698-0,zp-1698-4).
solution(zp-1698-0,4).
animal(zp-1698-4).
hair(zp-1698-4,0).
feathers(zp-1698-4,0).
egss(zp-1698-4,1).
milk(zp-1698-4,0).
airbone(zp-1698-4,0).
aquatic(zp-1698-4,1).
predator(zp-1698-4,1).
toothed(zp-1698-4,1).
backbone(zp-1698-4,1).
breathes(zp-1698-4,0).
venomous(zp-1698-4,0).
fins(zp-1698-4,1).
legs(zp-1698-4,0).
tail(zp-1698-4,1).
domestic(zp-1698-4,0).
catsize(zp-1698-4,1).

# Clauses for case zp-1715
# description named hamster
zoo-problem(zp-1715-0).
description(zp-1715-0,zp-1715-3).
solution(zp-1715-0,1).
animal(zp-1715-3).
hair(zp-1715-3,1).
feathers(zp-1715-3,0).
egss(zp-1715-3,0).
milk(zp-1715-3,1).
airbone(zp-1715-3,0).
aquatic(zp-1715-3,0).
predator(zp-1715-3,0).
toothed(zp-1715-3,1).
backbone(zp-1715-3,1).
breathes(zp-1715-3,1).
venomous(zp-1715-3,0).
fins(zp-1715-3,0).
legs(zp-1715-3,4).
tail(zp-1715-3,1).
domestic(zp-1715-3,1).
catsize(zp-1715-3,0).

# Clauses for case zp-1720
# description named housefly
zoo-problem(zp-1720-0).
description(zp-1720-0,zp-1720-4).
solution(zp-1720-0,6).
animal(zp-1720-4).
hair(zp-1720-4,1).
feathers(zp-1720-4,0).
egss(zp-1720-4,1).
milk(zp-1720-4,0).
airbone(zp-1720-4,1).
aquatic(zp-1720-4,0).
predator(zp-1720-4,0).
toothed(zp-1720-4,0).
backbone(zp-1720-4,0).
breathes(zp-1720-4,1).
venomous(zp-1720-4,0).
fins(zp-1720-4,0).
legs(zp-1720-4,6).
tail(zp-1720-4,0).
domestic(zp-1720-4,0).
catsize(zp-1720-4,0).

# Clauses for case zp-1754
# description named seal
zoo-problem(zp-1754-0).
description(zp-1754-0,zp-1754-3).
solution(zp-1754-0,1).
animal(zp-1754-3).
hair(zp-1754-3,1).
feathers(zp-1754-3,0).
egss(zp-1754-3,0).
milk(zp-1754-3,1).
airbone(zp-1754-3,0).
aquatic(zp-1754-3,1).
predator(zp-1754-3,1).
toothed(zp-1754-3,1).
backbone(zp-1754-3,1).
breathes(zp-1754-3,1).
venomous(zp-1754-3,0).
fins(zp-1754-3,1).
legs(zp-1754-3,0).
tail(zp-1754-3,0).
domestic(zp-1754-3,0).
catsize(zp-1754-3,1).

# Clauses for case zp-1747
# description named puma
zoo-problem(zp-1747-0).
description(zp-1747-0,zp-1747-4).
solution(zp-1747-0,1).
animal(zp-1747-4).
hair(zp-1747-4,1).
feathers(zp-1747-4,0).
egss(zp-1747-4,0).
milk(zp-1747-4,1).
airbone(zp-1747-4,0).
aquatic(zp-1747-4,0).
predator(zp-1747-4,1).
toothed(zp-1747-4,1).
backbone(zp-1747-4,1).
breathes(zp-1747-4,1).
venomous(zp-1747-4,0).
fins(zp-1747-4,0).
legs(zp-1747-4,4).
tail(zp-1747-4,1).
domestic(zp-1747-4,0).
catsize(zp-1747-4,1).

# Clauses for case zp-1710
# description named gnat
zoo-problem(zp-1710-0).
description(zp-1710-0,zp-1710-4).
solution(zp-1710-0,6).
animal(zp-1710-4).
hair(zp-1710-4,0).
feathers(zp-1710-4,0).
egss(zp-1710-4,1).
milk(zp-1710-4,0).
airbone(zp-1710-4,1).
aquatic(zp-1710-4,0).
predator(zp-1710-4,0).
toothed(zp-1710-4,0).
backbone(zp-1710-4,0).
breathes(zp-1710-4,1).
venomous(zp-1710-4,0).
fins(zp-1710-4,0).
legs(zp-1710-4,6).
tail(zp-1710-4,0).
domestic(zp-1710-4,0).
catsize(zp-1710-4,0).

# Clauses for case zp-1742
# description named pitviper
zoo-problem(zp-1742-0).
description(zp-1742-0,zp-1742-3).
solution(zp-1742-0,3).
animal(zp-1742-3).
hair(zp-1742-3,0).
feathers(zp-1742-3,0).
egss(zp-1742-3,1).
milk(zp-1742-3,0).
airbone(zp-1742-3,0).
aquatic(zp-1742-3,0).
predator(zp-1742-3,1).
toothed(zp-1742-3,1).
backbone(zp-1742-3,1).
breathes(zp-1742-3,1).
venomous(zp-1742-3,1).
fins(zp-1742-3,0).
legs(zp-1742-3,0).
tail(zp-1742-3,1).
domestic(zp-1742-3,0).
catsize(zp-1742-3,0).

# Clauses for case zp-1725
# description named lion
zoo-problem(zp-1725-0).
description(zp-1725-0,zp-1725-4).
solution(zp-1725-0,1).
animal(zp-1725-4).
hair(zp-1725-4,1).
feathers(zp-1725-4,0).
egss(zp-1725-4,0).
milk(zp-1725-4,1).
airbone(zp-1725-4,0).
aquatic(zp-1725-4,0).
predator(zp-1725-4,1).
toothed(zp-1725-4,1).
backbone(zp-1725-4,1).
breathes(zp-1725-4,1).
venomous(zp-1725-4,0).
fins(zp-1725-4,0).
legs(zp-1725-4,4).
tail(zp-1725-4,1).
domestic(zp-1725-4,0).
catsize(zp-1725-4,1).

# Clauses for case zp-1714
# description named haddock
zoo-problem(zp-1714-0).
description(zp-1714-0,zp-1714-4).
solution(zp-1714-0,4).
animal(zp-1714-4).
hair(zp-1714-4,0).
feathers(zp-1714-4,0).
egss(zp-1714-4,1).
milk(zp-1714-4,0).
airbone(zp-1714-4,0).
aquatic(zp-1714-4,1).
predator(zp-1714-4,0).
toothed(zp-1714-4,1).
backbone(zp-1714-4,1).
breathes(zp-1714-4,0).
venomous(zp-1714-4,0).
fins(zp-1714-4,1).
legs(zp-1714-4,0).
tail(zp-1714-4,1).
domestic(zp-1714-4,0).
catsize(zp-1714-4,0).

# Clauses for case zp-1690
# description named cheetah
zoo-problem(zp-1690-0).
description(zp-1690-0,zp-1690-4).
solution(zp-1690-0,1).
animal(zp-1690-4).
hair(zp-1690-4,1).
feathers(zp-1690-4,0).
egss(zp-1690-4,0).
milk(zp-1690-4,1).
airbone(zp-1690-4,0).
aquatic(zp-1690-4,0).
predator(zp-1690-4,1).
toothed(zp-1690-4,1).
backbone(zp-1690-4,1).
breathes(zp-1690-4,1).
venomous(zp-1690-4,0).
fins(zp-1690-4,0).
legs(zp-1690-4,4).
tail(zp-1690-4,1).
domestic(zp-1690-4,0).
catsize(zp-1690-4,1).

# Clauses for case zp-1760
# description named slowworm
zoo-problem(zp-1760-0).
description(zp-1760-0,zp-1760-4).
solution(zp-1760-0,3).
animal(zp-1760-4).
hair(zp-1760-4,0).
feathers(zp-1760-4,0).
egss(zp-1760-4,1).
milk(zp-1760-4,0).
airbone(zp-1760-4,0).
aquatic(zp-1760-4,0).
predator(zp-1760-4,1).
toothed(zp-1760-4,1).
backbone(zp-1760-4,1).
breathes(zp-1760-4,1).
venomous(zp-1760-4,0).
fins(zp-1760-4,0).
legs(zp-1760-4,0).
tail(zp-1760-4,1).
domestic(zp-1760-4,0).
catsize(zp-1760-4,0).

# Clauses for case zp-1751
# description named rhea
zoo-problem(zp-1751-0).
description(zp-1751-0,zp-1751-4).
solution(zp-1751-0,2).
animal(zp-1751-4).
hair(zp-1751-4,0).
feathers(zp-1751-4,1).
egss(zp-1751-4,1).
milk(zp-1751-4,0).
airbone(zp-1751-4,0).
aquatic(zp-1751-4,0).
predator(zp-1751-4,1).
toothed(zp-1751-4,0).
backbone(zp-1751-4,1).
breathes(zp-1751-4,1).
venomous(zp-1751-4,0).
fins(zp-1751-4,0).
legs(zp-1751-4,2).
tail(zp-1751-4,1).
domestic(zp-1751-4,0).
catsize(zp-1751-4,1).

# Clauses for case zp-1695
# description named crayfish
zoo-problem(zp-1695-0).
description(zp-1695-0,zp-1695-3).
solution(zp-1695-0,7).
animal(zp-1695-3).
hair(zp-1695-3,0).
feathers(zp-1695-3,0).
egss(zp-1695-3,1).
milk(zp-1695-3,0).
airbone(zp-1695-3,0).
aquatic(zp-1695-3,1).
predator(zp-1695-3,1).
toothed(zp-1695-3,0).
backbone(zp-1695-3,0).
breathes(zp-1695-3,0).
venomous(zp-1695-3,0).
fins(zp-1695-3,0).
legs(zp-1695-3,6).
tail(zp-1695-3,0).
domestic(zp-1695-3,0).
catsize(zp-1695-3,0).

# Clauses for case zp-1753
# description named seahorse
zoo-problem(zp-1753-0).
description(zp-1753-0,zp-1753-2).
solution(zp-1753-0,4).
animal(zp-1753-2).
hair(zp-1753-2,0).
feathers(zp-1753-2,0).
egss(zp-1753-2,1).
milk(zp-1753-2,0).
airbone(zp-1753-2,0).
aquatic(zp-1753-2,1).
predator(zp-1753-2,0).
toothed(zp-1753-2,1).
backbone(zp-1753-2,1).
breathes(zp-1753-2,0).
venomous(zp-1753-2,0).
fins(zp-1753-2,1).
legs(zp-1753-2,0).
tail(zp-1753-2,1).
domestic(zp-1753-2,0).
catsize(zp-1753-2,0).

# Clauses for case zp-1770
# description named tortoise
zoo-problem(zp-1770-0).
description(zp-1770-0,zp-1770-5).
solution(zp-1770-0,3).
animal(zp-1770-5).
hair(zp-1770-5,0).
feathers(zp-1770-5,0).
egss(zp-1770-5,1).
milk(zp-1770-5,0).
airbone(zp-1770-5,0).
aquatic(zp-1770-5,0).
predator(zp-1770-5,0).
toothed(zp-1770-5,0).
backbone(zp-1770-5,1).
breathes(zp-1770-5,1).
venomous(zp-1770-5,0).
fins(zp-1770-5,0).
legs(zp-1770-5,4).
tail(zp-1770-5,1).
domestic(zp-1770-5,0).
catsize(zp-1770-5,1).

# Clauses for case zp-1739
# description named pheasant
zoo-problem(zp-1739-0).
description(zp-1739-0,zp-1739-4).
solution(zp-1739-0,2).
animal(zp-1739-4).
hair(zp-1739-4,0).
feathers(zp-1739-4,1).
egss(zp-1739-4,1).
milk(zp-1739-4,0).
airbone(zp-1739-4,1).
aquatic(zp-1739-4,0).
predator(zp-1739-4,0).
toothed(zp-1739-4,0).
backbone(zp-1739-4,1).
breathes(zp-1739-4,1).
venomous(zp-1739-4,0).
fins(zp-1739-4,0).
legs(zp-1739-4,2).
tail(zp-1739-4,1).
domestic(zp-1739-4,0).
catsize(zp-1739-4,0).

# Clauses for case zp-1696
# description named crow
zoo-problem(zp-1696-0).
description(zp-1696-0,zp-1696-4).
solution(zp-1696-0,2).
animal(zp-1696-4).
hair(zp-1696-4,0).
feathers(zp-1696-4,1).
egss(zp-1696-4,1).
milk(zp-1696-4,0).
airbone(zp-1696-4,1).
aquatic(zp-1696-4,0).
predator(zp-1696-4,1).
toothed(zp-1696-4,0).
backbone(zp-1696-4,1).
breathes(zp-1696-4,1).
venomous(zp-1696-4,0).
fins(zp-1696-4,0).
legs(zp-1696-4,2).
tail(zp-1696-4,1).
domestic(zp-1696-4,0).
catsize(zp-1696-4,0).

# Clauses for case zp-1779
# description named worm
zoo-problem(zp-1779-0).
description(zp-1779-0,zp-1779-4).
solution(zp-1779-0,7).
animal(zp-1779-4).
hair(zp-1779-4,0).
feathers(zp-1779-4,0).
egss(zp-1779-4,1).
milk(zp-1779-4,0).
airbone(zp-1779-4,0).
aquatic(zp-1779-4,0).
predator(zp-1779-4,0).
toothed(zp-1779-4,0).
backbone(zp-1779-4,0).
breathes(zp-1779-4,1).
venomous(zp-1779-4,0).
fins(zp-1779-4,0).
legs(zp-1779-4,0).
tail(zp-1779-4,0).
domestic(zp-1779-4,0).
catsize(zp-1779-4,0).

# Clauses for case zp-1775
# description named vulture
zoo-problem(zp-1775-0).
description(zp-1775-0,zp-1775-4).
solution(zp-1775-0,2).
animal(zp-1775-4).
hair(zp-1775-4,0).
feathers(zp-1775-4,1).
egss(zp-1775-4,1).
milk(zp-1775-4,0).
airbone(zp-1775-4,1).
aquatic(zp-1775-4,0).
predator(zp-1775-4,1).
toothed(zp-1775-4,0).
backbone(zp-1775-4,1).
breathes(zp-1775-4,1).
venomous(zp-1775-4,0).
fins(zp-1775-4,0).
legs(zp-1775-4,2).
tail(zp-1775-4,1).
domestic(zp-1775-4,0).
catsize(zp-1775-4,1).

# Clauses for case zp-1683
# description named bear
zoo-problem(zp-1683-0).
description(zp-1683-0,zp-1683-2).
solution(zp-1683-0,1).
animal(zp-1683-2).
hair(zp-1683-2,1).
feathers(zp-1683-2,0).
egss(zp-1683-2,0).
milk(zp-1683-2,1).
airbone(zp-1683-2,0).
aquatic(zp-1683-2,0).
predator(zp-1683-2,1).
toothed(zp-1683-2,1).
backbone(zp-1683-2,1).
breathes(zp-1683-2,1).
venomous(zp-1683-2,0).
fins(zp-1683-2,0).
legs(zp-1683-2,4).
tail(zp-1683-2,0).
domestic(zp-1683-2,0).
catsize(zp-1683-2,1).

# Clauses for case zp-1718
# description named herring
zoo-problem(zp-1718-0).
description(zp-1718-0,zp-1718-3).
solution(zp-1718-0,4).
animal(zp-1718-3).
hair(zp-1718-3,0).
feathers(zp-1718-3,0).
egss(zp-1718-3,1).
milk(zp-1718-3,0).
airbone(zp-1718-3,0).
aquatic(zp-1718-3,1).
predator(zp-1718-3,1).
toothed(zp-1718-3,1).
backbone(zp-1718-3,1).
breathes(zp-1718-3,0).
venomous(zp-1718-3,0).
fins(zp-1718-3,1).
legs(zp-1718-3,0).
tail(zp-1718-3,1).
domestic(zp-1718-3,0).
catsize(zp-1718-3,0).

# Clauses for case zp-1723
# description named lark
zoo-problem(zp-1723-0).
description(zp-1723-0,zp-1723-4).
solution(zp-1723-0,2).
animal(zp-1723-4).
hair(zp-1723-4,0).
feathers(zp-1723-4,1).
egss(zp-1723-4,1).
milk(zp-1723-4,0).
airbone(zp-1723-4,1).
aquatic(zp-1723-4,0).
predator(zp-1723-4,0).
toothed(zp-1723-4,0).
backbone(zp-1723-4,1).
breathes(zp-1723-4,1).
venomous(zp-1723-4,0).
fins(zp-1723-4,0).
legs(zp-1723-4,2).
tail(zp-1723-4,1).
domestic(zp-1723-4,0).
catsize(zp-1723-4,0).

# Clauses for case zp-1680
# description named aardvark
zoo-problem(zp-1680-0).
description(zp-1680-0,zp-1680-4).
solution(zp-1680-0,1).
animal(zp-1680-4).
hair(zp-1680-4,1).
feathers(zp-1680-4,0).
egss(zp-1680-4,0).
milk(zp-1680-4,1).
airbone(zp-1680-4,0).
aquatic(zp-1680-4,0).
predator(zp-1680-4,1).
toothed(zp-1680-4,1).
backbone(zp-1680-4,1).
breathes(zp-1680-4,1).
venomous(zp-1680-4,0).
fins(zp-1680-4,0).
legs(zp-1680-4,4).
tail(zp-1680-4,0).
domestic(zp-1680-4,0).
catsize(zp-1680-4,1).

# Clauses for case zp-1773
# description named vampire
zoo-problem(zp-1773-0).
description(zp-1773-0,zp-1773-4).
solution(zp-1773-0,1).
animal(zp-1773-4).
hair(zp-1773-4,1).
feathers(zp-1773-4,0).
egss(zp-1773-4,0).
milk(zp-1773-4,1).
airbone(zp-1773-4,1).
aquatic(zp-1773-4,0).
predator(zp-1773-4,0).
toothed(zp-1773-4,1).
backbone(zp-1773-4,1).
breathes(zp-1773-4,1).
venomous(zp-1773-4,0).
fins(zp-1773-4,0).
legs(zp-1773-4,2).
tail(zp-1773-4,1).
domestic(zp-1773-4,0).
catsize(zp-1773-4,0).

# Clauses for case zp-1758
# description named skimmer
zoo-problem(zp-1758-0).
description(zp-1758-0,zp-1758-3).
solution(zp-1758-0,2).
animal(zp-1758-3).
hair(zp-1758-3,0).
feathers(zp-1758-3,1).
egss(zp-1758-3,1).
milk(zp-1758-3,0).
airbone(zp-1758-3,1).
aquatic(zp-1758-3,1).
predator(zp-1758-3,1).
toothed(zp-1758-3,0).
backbone(zp-1758-3,1).
breathes(zp-1758-3,1).
venomous(zp-1758-3,0).
fins(zp-1758-3,0).
legs(zp-1758-3,2).
tail(zp-1758-3,1).
domestic(zp-1758-3,0).
catsize(zp-1758-3,0).

# Clauses for case zp-1719
# description named honeybee
zoo-problem(zp-1719-0).
description(zp-1719-0,zp-1719-3).
solution(zp-1719-0,6).
animal(zp-1719-3).
hair(zp-1719-3,1).
feathers(zp-1719-3,0).
egss(zp-1719-3,1).
milk(zp-1719-3,0).
airbone(zp-1719-3,1).
aquatic(zp-1719-3,0).
predator(zp-1719-3,0).
toothed(zp-1719-3,0).
backbone(zp-1719-3,0).
breathes(zp-1719-3,1).
venomous(zp-1719-3,1).
fins(zp-1719-3,0).
legs(zp-1719-3,6).
tail(zp-1719-3,0).
domestic(zp-1719-3,1).
catsize(zp-1719-3,0).

# Clauses for case zp-1771
# description named tuatara
zoo-problem(zp-1771-0).
description(zp-1771-0,zp-1771-3).
solution(zp-1771-0,3).
animal(zp-1771-3).
hair(zp-1771-3,0).
feathers(zp-1771-3,0).
egss(zp-1771-3,1).
milk(zp-1771-3,0).
airbone(zp-1771-3,0).
aquatic(zp-1771-3,0).
predator(zp-1771-3,1).
toothed(zp-1771-3,1).
backbone(zp-1771-3,1).
breathes(zp-1771-3,1).
venomous(zp-1771-3,0).
fins(zp-1771-3,0).
legs(zp-1771-3,4).
tail(zp-1771-3,1).
domestic(zp-1771-3,0).
catsize(zp-1771-3,0).

# Clauses for case zp-1732
# description named newt
zoo-problem(zp-1732-0).
description(zp-1732-0,zp-1732-5).
solution(zp-1732-0,5).
animal(zp-1732-5).
hair(zp-1732-5,0).
feathers(zp-1732-5,0).
egss(zp-1732-5,1).
milk(zp-1732-5,0).
airbone(zp-1732-5,0).
aquatic(zp-1732-5,1).
predator(zp-1732-5,1).
toothed(zp-1732-5,1).
backbone(zp-1732-5,1).
breathes(zp-1732-5,1).
venomous(zp-1732-5,0).
fins(zp-1732-5,0).
legs(zp-1732-5,4).
tail(zp-1732-5,1).
domestic(zp-1732-5,0).
catsize(zp-1732-5,0).

# Clauses for case zp-1706
# description named frogv
zoo-problem(zp-1706-0).
description(zp-1706-0,zp-1706-5).
solution(zp-1706-0,5).
animal(zp-1706-5).
hair(zp-1706-5,0).
feathers(zp-1706-5,0).
egss(zp-1706-5,1).
milk(zp-1706-5,0).
airbone(zp-1706-5,0).
aquatic(zp-1706-5,1).
predator(zp-1706-5,1).
toothed(zp-1706-5,1).
backbone(zp-1706-5,1).
breathes(zp-1706-5,1).
venomous(zp-1706-5,1).
fins(zp-1706-5,0).
legs(zp-1706-5,4).
tail(zp-1706-5,0).
domestic(zp-1706-5,0).
catsize(zp-1706-5,0).

# Clauses for case zp-1731
# description named moth
zoo-problem(zp-1731-0).
description(zp-1731-0,zp-1731-4).
solution(zp-1731-0,6).
animal(zp-1731-4).
hair(zp-1731-4,1).
feathers(zp-1731-4,0).
egss(zp-1731-4,1).
milk(zp-1731-4,0).
airbone(zp-1731-4,1).
aquatic(zp-1731-4,0).
predator(zp-1731-4,0).
toothed(zp-1731-4,0).
backbone(zp-1731-4,0).
breathes(zp-1731-4,1).
venomous(zp-1731-4,0).
fins(zp-1731-4,0).
legs(zp-1731-4,6).
tail(zp-1731-4,0).
domestic(zp-1731-4,0).
catsize(zp-1731-4,0).

# Clauses for case zp-1752
# description named scorpion
zoo-problem(zp-1752-0).
description(zp-1752-0,zp-1752-3).
solution(zp-1752-0,7).
animal(zp-1752-3).
hair(zp-1752-3,0).
feathers(zp-1752-3,0).
egss(zp-1752-3,0).
milk(zp-1752-3,0).
airbone(zp-1752-3,0).
aquatic(zp-1752-3,0).
predator(zp-1752-3,1).
toothed(zp-1752-3,0).
backbone(zp-1752-3,0).
breathes(zp-1752-3,1).
venomous(zp-1752-3,1).
fins(zp-1752-3,0).
legs(zp-1752-3,8).
tail(zp-1752-3,1).
domestic(zp-1752-3,0).
catsize(zp-1752-3,0).

# Clauses for case zp-1687
# description named carp
zoo-problem(zp-1687-0).
description(zp-1687-0,zp-1687-4).
solution(zp-1687-0,4).
animal(zp-1687-4).
hair(zp-1687-4,0).
feathers(zp-1687-4,0).
egss(zp-1687-4,1).
milk(zp-1687-4,0).
airbone(zp-1687-4,0).
aquatic(zp-1687-4,1).
predator(zp-1687-4,0).
toothed(zp-1687-4,1).
backbone(zp-1687-4,1).
breathes(zp-1687-4,0).
venomous(zp-1687-4,0).
fins(zp-1687-4,1).
legs(zp-1687-4,0).
tail(zp-1687-4,1).
domestic(zp-1687-4,1).
catsize(zp-1687-4,0).

# Clauses for case zp-1694
# description named crab
zoo-problem(zp-1694-0).
description(zp-1694-0,zp-1694-3).
solution(zp-1694-0,7).
animal(zp-1694-3).
hair(zp-1694-3,0).
feathers(zp-1694-3,0).
egss(zp-1694-3,1).
milk(zp-1694-3,0).
airbone(zp-1694-3,0).
aquatic(zp-1694-3,1).
predator(zp-1694-3,1).
toothed(zp-1694-3,0).
backbone(zp-1694-3,0).
breathes(zp-1694-3,0).
venomous(zp-1694-3,0).
fins(zp-1694-3,0).
legs(zp-1694-3,4).
tail(zp-1694-3,0).
domestic(zp-1694-3,0).
catsize(zp-1694-3,0).

# Clauses for case zp-1724
# description named leopard
zoo-problem(zp-1724-0).
description(zp-1724-0,zp-1724-4).
solution(zp-1724-0,1).
animal(zp-1724-4).
hair(zp-1724-4,1).
feathers(zp-1724-4,0).
egss(zp-1724-4,0).
milk(zp-1724-4,1).
airbone(zp-1724-4,0).
aquatic(zp-1724-4,0).
predator(zp-1724-4,1).
toothed(zp-1724-4,1).
backbone(zp-1724-4,1).
breathes(zp-1724-4,1).
venomous(zp-1724-4,0).
fins(zp-1724-4,0).
legs(zp-1724-4,4).
tail(zp-1724-4,1).
domestic(zp-1724-4,0).
catsize(zp-1724-4,1).

# Clauses for case zp-1733
# description named octopus
zoo-problem(zp-1733-0).
description(zp-1733-0,zp-1733-5).
solution(zp-1733-0,7).
animal(zp-1733-5).
hair(zp-1733-5,0).
feathers(zp-1733-5,0).
egss(zp-1733-5,1).
milk(zp-1733-5,0).
airbone(zp-1733-5,0).
aquatic(zp-1733-5,1).
predator(zp-1733-5,1).
toothed(zp-1733-5,0).
backbone(zp-1733-5,0).
breathes(zp-1733-5,0).
venomous(zp-1733-5,0).
fins(zp-1733-5,0).
legs(zp-1733-5,8).
tail(zp-1733-5,0).
domestic(zp-1733-5,0).
catsize(zp-1733-5,1).

# Clauses for case zp-1702
# description named elephant
zoo-problem(zp-1702-0).
description(zp-1702-0,zp-1702-4).
solution(zp-1702-0,1).
animal(zp-1702-4).
hair(zp-1702-4,1).
feathers(zp-1702-4,0).
egss(zp-1702-4,0).
milk(zp-1702-4,1).
airbone(zp-1702-4,0).
aquatic(zp-1702-4,0).
predator(zp-1702-4,0).
toothed(zp-1702-4,1).
backbone(zp-1702-4,1).
breathes(zp-1702-4,1).
venomous(zp-1702-4,0).
fins(zp-1702-4,0).
legs(zp-1702-4,4).
tail(zp-1702-4,1).
domestic(zp-1702-4,0).
catsize(zp-1702-4,1).

# Clauses for case zp-1730
# description named mongoose
zoo-problem(zp-1730-0).
description(zp-1730-0,zp-1730-4).
solution(zp-1730-0,1).
animal(zp-1730-4).
hair(zp-1730-4,1).
feathers(zp-1730-4,0).
egss(zp-1730-4,0).
milk(zp-1730-4,1).
airbone(zp-1730-4,0).
aquatic(zp-1730-4,0).
predator(zp-1730-4,1).
toothed(zp-1730-4,1).
backbone(zp-1730-4,1).
breathes(zp-1730-4,1).
venomous(zp-1730-4,0).
fins(zp-1730-4,0).
legs(zp-1730-4,4).
tail(zp-1730-4,1).
domestic(zp-1730-4,0).
catsize(zp-1730-4,1).

# Clauses for case zp-1728
# description named mink
zoo-problem(zp-1728-0).
description(zp-1728-0,zp-1728-3).
solution(zp-1728-0,1).
animal(zp-1728-3).
hair(zp-1728-3,1).
feathers(zp-1728-3,0).
egss(zp-1728-3,0).
milk(zp-1728-3,1).
airbone(zp-1728-3,0).
aquatic(zp-1728-3,1).
predator(zp-1728-3,1).
toothed(zp-1728-3,1).
backbone(zp-1728-3,1).
breathes(zp-1728-3,1).
venomous(zp-1728-3,0).
fins(zp-1728-3,0).
legs(zp-1728-3,4).
tail(zp-1728-3,1).
domestic(zp-1728-3,0).
catsize(zp-1728-3,1).

# Clauses for case zp-1767
# description named swan
zoo-problem(zp-1767-0).
description(zp-1767-0,zp-1767-4).
solution(zp-1767-0,2).
animal(zp-1767-4).
hair(zp-1767-4,0).
feathers(zp-1767-4,1).
egss(zp-1767-4,1).
milk(zp-1767-4,0).
airbone(zp-1767-4,1).
aquatic(zp-1767-4,1).
predator(zp-1767-4,0).
toothed(zp-1767-4,0).
backbone(zp-1767-4,1).
breathes(zp-1767-4,1).
venomous(zp-1767-4,0).
fins(zp-1767-4,0).
legs(zp-1767-4,2).
tail(zp-1767-4,1).
domestic(zp-1767-4,0).
catsize(zp-1767-4,1).

# Clauses for case zp-1691
# description named chicken
zoo-problem(zp-1691-0).
description(zp-1691-0,zp-1691-4).
solution(zp-1691-0,2).
animal(zp-1691-4).
hair(zp-1691-4,0).
feathers(zp-1691-4,1).
egss(zp-1691-4,1).
milk(zp-1691-4,0).
airbone(zp-1691-4,1).
aquatic(zp-1691-4,0).
predator(zp-1691-4,0).
toothed(zp-1691-4,0).
backbone(zp-1691-4,1).
breathes(zp-1691-4,1).
venomous(zp-1691-4,0).
fins(zp-1691-4,0).
legs(zp-1691-4,2).
tail(zp-1691-4,1).
domestic(zp-1691-4,1).
catsize(zp-1691-4,0).

# Clauses for case zp-1734
# description named opossum
zoo-problem(zp-1734-0).
description(zp-1734-0,zp-1734-3).
solution(zp-1734-0,1).
animal(zp-1734-3).
hair(zp-1734-3,1).
feathers(zp-1734-3,0).
egss(zp-1734-3,0).
milk(zp-1734-3,1).
airbone(zp-1734-3,0).
aquatic(zp-1734-3,0).
predator(zp-1734-3,1).
toothed(zp-1734-3,1).
backbone(zp-1734-3,1).
breathes(zp-1734-3,1).
venomous(zp-1734-3,0).
fins(zp-1734-3,0).
legs(zp-1734-3,4).
tail(zp-1734-3,1).
domestic(zp-1734-3,0).
catsize(zp-1734-3,0).

# Clauses for case zp-1735
# description named oryx
zoo-problem(zp-1735-0).
description(zp-1735-0,zp-1735-4).
solution(zp-1735-0,1).
animal(zp-1735-4).
hair(zp-1735-4,1).
feathers(zp-1735-4,0).
egss(zp-1735-4,0).
milk(zp-1735-4,1).
airbone(zp-1735-4,0).
aquatic(zp-1735-4,0).
predator(zp-1735-4,0).
toothed(zp-1735-4,1).
backbone(zp-1735-4,1).
breathes(zp-1735-4,1).
venomous(zp-1735-4,0).
fins(zp-1735-4,0).
legs(zp-1735-4,4).
tail(zp-1735-4,1).
domestic(zp-1735-4,0).
catsize(zp-1735-4,1).

# Clauses for case zp-1686
# description named calf
zoo-problem(zp-1686-0).
description(zp-1686-0,zp-1686-4).
solution(zp-1686-0,1).
animal(zp-1686-4).
hair(zp-1686-4,1).
feathers(zp-1686-4,0).
egss(zp-1686-4,0).
milk(zp-1686-4,1).
airbone(zp-1686-4,0).
aquatic(zp-1686-4,0).
predator(zp-1686-4,0).
toothed(zp-1686-4,1).
backbone(zp-1686-4,1).
breathes(zp-1686-4,1).
venomous(zp-1686-4,0).
fins(zp-1686-4,0).
legs(zp-1686-4,4).
tail(zp-1686-4,1).
domestic(zp-1686-4,1).
catsize(zp-1686-4,1).

# Clauses for case zp-1727
# description named lynx
zoo-problem(zp-1727-0).
description(zp-1727-0,zp-1727-2).
solution(zp-1727-0,1).
animal(zp-1727-2).
hair(zp-1727-2,1).
feathers(zp-1727-2,0).
egss(zp-1727-2,0).
milk(zp-1727-2,1).
airbone(zp-1727-2,0).
aquatic(zp-1727-2,0).
predator(zp-1727-2,1).
toothed(zp-1727-2,1).
backbone(zp-1727-2,1).
breathes(zp-1727-2,1).
venomous(zp-1727-2,0).
fins(zp-1727-2,0).
legs(zp-1727-2,4).
tail(zp-1727-2,1).
domestic(zp-1727-2,0).
catsize(zp-1727-2,1).

# Clauses for case zp-1764
# description named squirrel
zoo-problem(zp-1764-0).
description(zp-1764-0,zp-1764-4).
solution(zp-1764-0,1).
animal(zp-1764-4).
hair(zp-1764-4,1).
feathers(zp-1764-4,0).
egss(zp-1764-4,0).
milk(zp-1764-4,1).
airbone(zp-1764-4,0).
aquatic(zp-1764-4,0).
predator(zp-1764-4,0).
toothed(zp-1764-4,1).
backbone(zp-1764-4,1).
breathes(zp-1764-4,1).
venomous(zp-1764-4,0).
fins(zp-1764-4,0).
legs(zp-1764-4,2).
tail(zp-1764-4,1).
domestic(zp-1764-4,0).
catsize(zp-1764-4,0).

# Clauses for case zp-1729
# description named mole
zoo-problem(zp-1729-0).
description(zp-1729-0,zp-1729-4).
solution(zp-1729-0,1).
animal(zp-1729-4).
hair(zp-1729-4,1).
feathers(zp-1729-4,0).
egss(zp-1729-4,0).
milk(zp-1729-4,1).
airbone(zp-1729-4,0).
aquatic(zp-1729-4,0).
predator(zp-1729-4,1).
toothed(zp-1729-4,1).
backbone(zp-1729-4,1).
breathes(zp-1729-4,1).
venomous(zp-1729-4,0).
fins(zp-1729-4,0).
legs(zp-1729-4,4).
tail(zp-1729-4,1).
domestic(zp-1729-4,0).
catsize(zp-1729-4,0).

# Clauses for case zp-1774
# description named vole
zoo-problem(zp-1774-0).
description(zp-1774-0,zp-1774-3).
solution(zp-1774-0,1).
animal(zp-1774-3).
hair(zp-1774-3,1).
feathers(zp-1774-3,0).
egss(zp-1774-3,0).
milk(zp-1774-3,1).
airbone(zp-1774-3,0).
aquatic(zp-1774-3,0).
predator(zp-1774-3,0).
toothed(zp-1774-3,1).
backbone(zp-1774-3,1).
breathes(zp-1774-3,1).
venomous(zp-1774-3,0).
fins(zp-1774-3,0).
legs(zp-1774-3,4).
tail(zp-1774-3,1).
domestic(zp-1774-3,0).
catsize(zp-1774-3,0).

# Clauses for case zp-1761
# description named slug
zoo-problem(zp-1761-0).
description(zp-1761-0,zp-1761-4).
solution(zp-1761-0,7).
animal(zp-1761-4).
hair(zp-1761-4,0).
feathers(zp-1761-4,0).
egss(zp-1761-4,1).
milk(zp-1761-4,0).
airbone(zp-1761-4,0).
aquatic(zp-1761-4,0).
predator(zp-1761-4,0).
toothed(zp-1761-4,0).
backbone(zp-1761-4,0).
breathes(zp-1761-4,1).
venomous(zp-1761-4,0).
fins(zp-1761-4,0).
legs(zp-1761-4,0).
tail(zp-1761-4,0).
domestic(zp-1761-4,0).
catsize(zp-1761-4,0).

# Clauses for case zp-1726
# description named lobster
zoo-problem(zp-1726-0).
description(zp-1726-0,zp-1726-3).
solution(zp-1726-0,7).
animal(zp-1726-3).
hair(zp-1726-3,0).
feathers(zp-1726-3,0).
egss(zp-1726-3,1).
milk(zp-1726-3,0).
airbone(zp-1726-3,0).
aquatic(zp-1726-3,1).
predator(zp-1726-3,1).
toothed(zp-1726-3,0).
backbone(zp-1726-3,0).
breathes(zp-1726-3,0).
venomous(zp-1726-3,0).
fins(zp-1726-3,0).
legs(zp-1726-3,6).
tail(zp-1726-3,0).
domestic(zp-1726-3,0).
catsize(zp-1726-3,0).

# Clauses for case zp-1701
# description named duck
zoo-problem(zp-1701-0).
description(zp-1701-0,zp-1701-4).
solution(zp-1701-0,2).
animal(zp-1701-4).
hair(zp-1701-4,0).
feathers(zp-1701-4,1).
egss(zp-1701-4,1).
milk(zp-1701-4,0).
airbone(zp-1701-4,1).
aquatic(zp-1701-4,1).
predator(zp-1701-4,0).
toothed(zp-1701-4,0).
backbone(zp-1701-4,1).
breathes(zp-1701-4,1).
venomous(zp-1701-4,0).
fins(zp-1701-4,0).
legs(zp-1701-4,2).
tail(zp-1701-4,1).
domestic(zp-1701-4,0).
catsize(zp-1701-4,0).

# Clauses for case zp-1755
# description named sealion
zoo-problem(zp-1755-0).
description(zp-1755-0,zp-1755-4).
solution(zp-1755-0,1).
animal(zp-1755-4).
hair(zp-1755-4,1).
feathers(zp-1755-4,0).
egss(zp-1755-4,0).
milk(zp-1755-4,1).
airbone(zp-1755-4,0).
aquatic(zp-1755-4,1).
predator(zp-1755-4,1).
toothed(zp-1755-4,1).
backbone(zp-1755-4,1).
breathes(zp-1755-4,1).
venomous(zp-1755-4,0).
fins(zp-1755-4,1).
legs(zp-1755-4,2).
tail(zp-1755-4,1).
domestic(zp-1755-4,0).
catsize(zp-1755-4,1).

# Clauses for case zp-1777
# description named wasp
zoo-problem(zp-1777-0).
description(zp-1777-0,zp-1777-3).
solution(zp-1777-0,6).
animal(zp-1777-3).
hair(zp-1777-3,1).
feathers(zp-1777-3,0).
egss(zp-1777-3,1).
milk(zp-1777-3,0).
airbone(zp-1777-3,1).
aquatic(zp-1777-3,0).
predator(zp-1777-3,0).
toothed(zp-1777-3,0).
backbone(zp-1777-3,0).
breathes(zp-1777-3,1).
venomous(zp-1777-3,1).
fins(zp-1777-3,0).
legs(zp-1777-3,6).
tail(zp-1777-3,0).
domestic(zp-1777-3,0).
catsize(zp-1777-3,0).

# Clauses for case zp-1697
# description named deer
zoo-problem(zp-1697-0).
description(zp-1697-0,zp-1697-4).
solution(zp-1697-0,1).
animal(zp-1697-4).
hair(zp-1697-4,1).
feathers(zp-1697-4,0).
egss(zp-1697-4,0).
milk(zp-1697-4,1).
airbone(zp-1697-4,0).
aquatic(zp-1697-4,0).
predator(zp-1697-4,0).
toothed(zp-1697-4,1).
backbone(zp-1697-4,1).
breathes(zp-1697-4,1).
venomous(zp-1697-4,0).
fins(zp-1697-4,0).
legs(zp-1697-4,4).
tail(zp-1697-4,1).
domestic(zp-1697-4,0).
catsize(zp-1697-4,1).

# Clauses for case zp-1741
# description named piranha
zoo-problem(zp-1741-0).
description(zp-1741-0,zp-1741-4).
solution(zp-1741-0,4).
animal(zp-1741-4).
hair(zp-1741-4,0).
feathers(zp-1741-4,0).
egss(zp-1741-4,1).
milk(zp-1741-4,0).
airbone(zp-1741-4,0).
aquatic(zp-1741-4,1).
predator(zp-1741-4,1).
toothed(zp-1741-4,1).
backbone(zp-1741-4,1).
breathes(zp-1741-4,0).
venomous(zp-1741-4,0).
fins(zp-1741-4,1).
legs(zp-1741-4,0).
tail(zp-1741-4,1).
domestic(zp-1741-4,0).
catsize(zp-1741-4,0).

# Clauses for case zp-1717
# description named hawk
zoo-problem(zp-1717-0).
description(zp-1717-0,zp-1717-4).
solution(zp-1717-0,2).
animal(zp-1717-4).
hair(zp-1717-4,0).
feathers(zp-1717-4,1).
egss(zp-1717-4,1).
milk(zp-1717-4,0).
airbone(zp-1717-4,1).
aquatic(zp-1717-4,0).
predator(zp-1717-4,1).
toothed(zp-1717-4,0).
backbone(zp-1717-4,1).
breathes(zp-1717-4,1).
venomous(zp-1717-4,0).
fins(zp-1717-4,0).
legs(zp-1717-4,2).
tail(zp-1717-4,1).
domestic(zp-1717-4,0).
catsize(zp-1717-4,0).

# Clauses for case zp-1699
# description named dolphin
zoo-problem(zp-1699-0).
description(zp-1699-0,zp-1699-3).
solution(zp-1699-0,1).
animal(zp-1699-3).
hair(zp-1699-3,0).
feathers(zp-1699-3,0).
egss(zp-1699-3,0).
milk(zp-1699-3,1).
airbone(zp-1699-3,0).
aquatic(zp-1699-3,1).
predator(zp-1699-3,1).
toothed(zp-1699-3,1).
backbone(zp-1699-3,1).
breathes(zp-1699-3,1).
venomous(zp-1699-3,0).
fins(zp-1699-3,1).
legs(zp-1699-3,0).
tail(zp-1699-3,1).
domestic(zp-1699-3,0).
catsize(zp-1699-3,1).

# Clauses for case zp-1712
# description named gorilla
zoo-problem(zp-1712-0).
description(zp-1712-0,zp-1712-4).
solution(zp-1712-0,1).
animal(zp-1712-4).
hair(zp-1712-4,1).
feathers(zp-1712-4,0).
egss(zp-1712-4,0).
milk(zp-1712-4,1).
airbone(zp-1712-4,0).
aquatic(zp-1712-4,0).
predator(zp-1712-4,0).
toothed(zp-1712-4,1).
backbone(zp-1712-4,1).
breathes(zp-1712-4,1).
venomous(zp-1712-4,0).
fins(zp-1712-4,0).
legs(zp-1712-4,2).
tail(zp-1712-4,0).
domestic(zp-1712-4,0).
catsize(zp-1712-4,1).

# Clauses for case zp-1704
# description named flea
zoo-problem(zp-1704-0).
description(zp-1704-0,zp-1704-4).
solution(zp-1704-0,6).
animal(zp-1704-4).
hair(zp-1704-4,0).
feathers(zp-1704-4,0).
egss(zp-1704-4,1).
milk(zp-1704-4,0).
airbone(zp-1704-4,0).
aquatic(zp-1704-4,0).
predator(zp-1704-4,0).
toothed(zp-1704-4,0).
backbone(zp-1704-4,0).
breathes(zp-1704-4,1).
venomous(zp-1704-4,0).
fins(zp-1704-4,0).
legs(zp-1704-4,6).
tail(zp-1704-4,0).
domestic(zp-1704-4,0).
catsize(zp-1704-4,0).

# Clauses for case zp-1705
# description named frog
zoo-problem(zp-1705-0).
description(zp-1705-0,zp-1705-5).
solution(zp-1705-0,5).
animal(zp-1705-5).
hair(zp-1705-5,0).
feathers(zp-1705-5,0).
egss(zp-1705-5,1).
milk(zp-1705-5,0).
airbone(zp-1705-5,0).
aquatic(zp-1705-5,1).
predator(zp-1705-5,1).
toothed(zp-1705-5,1).
backbone(zp-1705-5,1).
breathes(zp-1705-5,1).
venomous(zp-1705-5,0).
fins(zp-1705-5,0).
legs(zp-1705-5,4).
tail(zp-1705-5,0).
domestic(zp-1705-5,0).
catsize(zp-1705-5,0).

# Clauses for case zp-1750
# description named reindeer
zoo-problem(zp-1750-0).
description(zp-1750-0,zp-1750-4).
solution(zp-1750-0,1).
animal(zp-1750-4).
hair(zp-1750-4,1).
feathers(zp-1750-4,0).
egss(zp-1750-4,0).
milk(zp-1750-4,1).
airbone(zp-1750-4,0).
aquatic(zp-1750-4,0).
predator(zp-1750-4,0).
toothed(zp-1750-4,1).
backbone(zp-1750-4,1).
breathes(zp-1750-4,1).
venomous(zp-1750-4,0).
fins(zp-1750-4,0).
legs(zp-1750-4,4).
tail(zp-1750-4,1).
domestic(zp-1750-4,1).
catsize(zp-1750-4,1).

# Clauses for case zp-1682
# description named bass
zoo-problem(zp-1682-0).
description(zp-1682-0,zp-1682-4).
solution(zp-1682-0,4).
animal(zp-1682-4).
hair(zp-1682-4,0).
feathers(zp-1682-4,0).
egss(zp-1682-4,1).
milk(zp-1682-4,0).
airbone(zp-1682-4,0).
aquatic(zp-1682-4,1).
predator(zp-1682-4,1).
toothed(zp-1682-4,1).
backbone(zp-1682-4,1).
breathes(zp-1682-4,0).
venomous(zp-1682-4,0).
fins(zp-1682-4,1).
legs(zp-1682-4,0).
tail(zp-1682-4,1).
domestic(zp-1682-4,0).
catsize(zp-1682-4,0).

# Clauses for case zp-1765
# description named starfish
zoo-problem(zp-1765-0).
description(zp-1765-0,zp-1765-5).
solution(zp-1765-0,7).
animal(zp-1765-5).
hair(zp-1765-5,0).
feathers(zp-1765-5,0).
egss(zp-1765-5,1).
milk(zp-1765-5,0).
airbone(zp-1765-5,0).
aquatic(zp-1765-5,1).
predator(zp-1765-5,1).
toothed(zp-1765-5,0).
backbone(zp-1765-5,0).
breathes(zp-1765-5,0).
venomous(zp-1765-5,0).
fins(zp-1765-5,0).
legs(zp-1765-5,5).
tail(zp-1765-5,0).
domestic(zp-1765-5,0).
catsize(zp-1765-5,0).

# Clauses for case zp-1685
# description named buffalo
zoo-problem(zp-1685-0).
description(zp-1685-0,zp-1685-3).
solution(zp-1685-0,1).
animal(zp-1685-3).
hair(zp-1685-3,1).
feathers(zp-1685-3,0).
egss(zp-1685-3,0).
milk(zp-1685-3,1).
airbone(zp-1685-3,0).
aquatic(zp-1685-3,0).
predator(zp-1685-3,0).
toothed(zp-1685-3,1).
backbone(zp-1685-3,1).
breathes(zp-1685-3,1).
venomous(zp-1685-3,0).
fins(zp-1685-3,0).
legs(zp-1685-3,4).
tail(zp-1685-3,1).
domestic(zp-1685-3,0).
catsize(zp-1685-3,1).

# Clauses for case zp-1684
# description named boar
zoo-problem(zp-1684-0).
description(zp-1684-0,zp-1684-4).
solution(zp-1684-0,1).
animal(zp-1684-4).
hair(zp-1684-4,1).
feathers(zp-1684-4,0).
egss(zp-1684-4,0).
milk(zp-1684-4,1).
airbone(zp-1684-4,0).
aquatic(zp-1684-4,0).
predator(zp-1684-4,1).
toothed(zp-1684-4,1).
backbone(zp-1684-4,1).
breathes(zp-1684-4,1).
venomous(zp-1684-4,0).
fins(zp-1684-4,0).
legs(zp-1684-4,4).
tail(zp-1684-4,1).
domestic(zp-1684-4,0).
catsize(zp-1684-4,1).

# Clauses for case zp-1711
# description named goat
zoo-problem(zp-1711-0).
description(zp-1711-0,zp-1711-2).
solution(zp-1711-0,1).
animal(zp-1711-2).
hair(zp-1711-2,1).
feathers(zp-1711-2,0).
egss(zp-1711-2,0).
milk(zp-1711-2,1).
airbone(zp-1711-2,0).
aquatic(zp-1711-2,0).
predator(zp-1711-2,0).
toothed(zp-1711-2,1).
backbone(zp-1711-2,1).
breathes(zp-1711-2,1).
venomous(zp-1711-2,0).
fins(zp-1711-2,0).
legs(zp-1711-2,4).
tail(zp-1711-2,1).
domestic(zp-1711-2,1).
catsize(zp-1711-2,1).

# Clauses for case zp-1756
# description named seasnake
zoo-problem(zp-1756-0).
description(zp-1756-0,zp-1756-4).
solution(zp-1756-0,3).
animal(zp-1756-4).
hair(zp-1756-4,0).
feathers(zp-1756-4,0).
egss(zp-1756-4,0).
milk(zp-1756-4,0).
airbone(zp-1756-4,0).
aquatic(zp-1756-4,1).
predator(zp-1756-4,1).
toothed(zp-1756-4,1).
backbone(zp-1756-4,1).
breathes(zp-1756-4,0).
venomous(zp-1756-4,1).
fins(zp-1756-4,0).
legs(zp-1756-4,0).
tail(zp-1756-4,1).
domestic(zp-1756-4,0).
catsize(zp-1756-4,0).

# Clauses for case zp-1768
# description named termite
zoo-problem(zp-1768-0).
description(zp-1768-0,zp-1768-4).
solution(zp-1768-0,6).
animal(zp-1768-4).
hair(zp-1768-4,0).
feathers(zp-1768-4,0).
egss(zp-1768-4,1).
milk(zp-1768-4,0).
airbone(zp-1768-4,0).
aquatic(zp-1768-4,0).
predator(zp-1768-4,0).
toothed(zp-1768-4,0).
backbone(zp-1768-4,0).
breathes(zp-1768-4,1).
venomous(zp-1768-4,0).
fins(zp-1768-4,0).
legs(zp-1768-4,6).
tail(zp-1768-4,0).
domestic(zp-1768-4,0).
catsize(zp-1768-4,0).

# Clauses for case zp-1736
# description named ostrich
zoo-problem(zp-1736-0).
description(zp-1736-0,zp-1736-4).
solution(zp-1736-0,2).
animal(zp-1736-4).
hair(zp-1736-4,0).
feathers(zp-1736-4,1).
egss(zp-1736-4,1).
milk(zp-1736-4,0).
airbone(zp-1736-4,0).
aquatic(zp-1736-4,0).
predator(zp-1736-4,0).
toothed(zp-1736-4,0).
backbone(zp-1736-4,1).
breathes(zp-1736-4,1).
venomous(zp-1736-4,0).
fins(zp-1736-4,0).
legs(zp-1736-4,2).
tail(zp-1736-4,1).
domestic(zp-1736-4,0).
catsize(zp-1736-4,1).

# Clauses for case zp-1749
# description named raccoon
zoo-problem(zp-1749-0).
description(zp-1749-0,zp-1749-4).
solution(zp-1749-0,1).
animal(zp-1749-4).
hair(zp-1749-4,1).
feathers(zp-1749-4,0).
egss(zp-1749-4,0).
milk(zp-1749-4,1).
airbone(zp-1749-4,0).
aquatic(zp-1749-4,0).
predator(zp-1749-4,1).
toothed(zp-1749-4,1).
backbone(zp-1749-4,1).
breathes(zp-1749-4,1).
venomous(zp-1749-4,0).
fins(zp-1749-4,0).
legs(zp-1749-4,4).
tail(zp-1749-4,1).
domestic(zp-1749-4,0).
catsize(zp-1749-4,1).

# Clauses for case zp-1762
# description named sole
zoo-problem(zp-1762-0).
description(zp-1762-0,zp-1762-4).
solution(zp-1762-0,4).
animal(zp-1762-4).
hair(zp-1762-4,0).
feathers(zp-1762-4,0).
egss(zp-1762-4,1).
milk(zp-1762-4,0).
airbone(zp-1762-4,0).
aquatic(zp-1762-4,1).
predator(zp-1762-4,0).
toothed(zp-1762-4,1).
backbone(zp-1762-4,1).
breathes(zp-1762-4,0).
venomous(zp-1762-4,0).
fins(zp-1762-4,1).
legs(zp-1762-4,0).
tail(zp-1762-4,1).
domestic(zp-1762-4,0).
catsize(zp-1762-4,0).

# Clauses for case zp-1713
# description named gull
zoo-problem(zp-1713-0).
description(zp-1713-0,zp-1713-4).
solution(zp-1713-0,2).
animal(zp-1713-4).
hair(zp-1713-4,0).
feathers(zp-1713-4,1).
egss(zp-1713-4,1).
milk(zp-1713-4,0).
airbone(zp-1713-4,1).
aquatic(zp-1713-4,1).
predator(zp-1713-4,1).
toothed(zp-1713-4,0).
backbone(zp-1713-4,1).
breathes(zp-1713-4,1).
venomous(zp-1713-4,0).
fins(zp-1713-4,0).
legs(zp-1713-4,2).
tail(zp-1713-4,1).
domestic(zp-1713-4,0).
catsize(zp-1713-4,0).

# Clauses for case zp-1692
# description named chub
zoo-problem(zp-1692-0).
description(zp-1692-0,zp-1692-3).
solution(zp-1692-0,4).
animal(zp-1692-3).
hair(zp-1692-3,0).
feathers(zp-1692-3,0).
egss(zp-1692-3,1).
milk(zp-1692-3,0).
airbone(zp-1692-3,0).
aquatic(zp-1692-3,1).
predator(zp-1692-3,1).
toothed(zp-1692-3,1).
backbone(zp-1692-3,1).
breathes(zp-1692-3,0).
venomous(zp-1692-3,0).
fins(zp-1692-3,1).
legs(zp-1692-3,0).
tail(zp-1692-3,1).
domestic(zp-1692-3,0).
catsize(zp-1692-3,0).

# Clauses for case zp-1766
# description named stingray
zoo-problem(zp-1766-0).
description(zp-1766-0,zp-1766-4).
solution(zp-1766-0,4).
animal(zp-1766-4).
hair(zp-1766-4,0).
feathers(zp-1766-4,0).
egss(zp-1766-4,1).
milk(zp-1766-4,0).
airbone(zp-1766-4,0).
aquatic(zp-1766-4,1).
predator(zp-1766-4,1).
toothed(zp-1766-4,1).
backbone(zp-1766-4,1).
breathes(zp-1766-4,0).
venomous(zp-1766-4,1).
fins(zp-1766-4,1).
legs(zp-1766-4,0).
tail(zp-1766-4,1).
domestic(zp-1766-4,0).
catsize(zp-1766-4,1).

# Clauses for case zp-1689
# description named cavy
zoo-problem(zp-1689-0).
description(zp-1689-0,zp-1689-4).
solution(zp-1689-0,1).
animal(zp-1689-4).
hair(zp-1689-4,1).
feathers(zp-1689-4,0).
egss(zp-1689-4,0).
milk(zp-1689-4,1).
airbone(zp-1689-4,0).
aquatic(zp-1689-4,0).
predator(zp-1689-4,0).
toothed(zp-1689-4,1).
backbone(zp-1689-4,1).
breathes(zp-1689-4,1).
venomous(zp-1689-4,0).
fins(zp-1689-4,0).
legs(zp-1689-4,4).
tail(zp-1689-4,0).
domestic(zp-1689-4,1).
catsize(zp-1689-4,0).

# Clauses for case zp-1708
# description named giraffe
zoo-problem(zp-1708-0).
description(zp-1708-0,zp-1708-3).
solution(zp-1708-0,1).
animal(zp-1708-3).
hair(zp-1708-3,1).
feathers(zp-1708-3,0).
egss(zp-1708-3,0).
milk(zp-1708-3,1).
airbone(zp-1708-3,0).
aquatic(zp-1708-3,0).
predator(zp-1708-3,0).
toothed(zp-1708-3,1).
backbone(zp-1708-3,1).
breathes(zp-1708-3,1).
venomous(zp-1708-3,0).
fins(zp-1708-3,0).
legs(zp-1708-3,4).
tail(zp-1708-3,1).
domestic(zp-1708-3,0).
catsize(zp-1708-3,1).

# Clauses for case zp-1722
# description named ladybird
zoo-problem(zp-1722-0).
description(zp-1722-0,zp-1722-4).
solution(zp-1722-0,6).
animal(zp-1722-4).
hair(zp-1722-4,0).
feathers(zp-1722-4,0).
egss(zp-1722-4,1).
milk(zp-1722-4,0).
airbone(zp-1722-4,1).
aquatic(zp-1722-4,0).
predator(zp-1722-4,1).
toothed(zp-1722-4,0).
backbone(zp-1722-4,0).
breathes(zp-1722-4,1).
venomous(zp-1722-4,0).
fins(zp-1722-4,0).
legs(zp-1722-4,6).
tail(zp-1722-4,0).
domestic(zp-1722-4,0).
catsize(zp-1722-4,0).

# Clauses for case zp-1776
# description named wallaby
zoo-problem(zp-1776-0).
description(zp-1776-0,zp-1776-4).
solution(zp-1776-0,1).
animal(zp-1776-4).
hair(zp-1776-4,1).
feathers(zp-1776-4,0).
egss(zp-1776-4,0).
milk(zp-1776-4,1).
airbone(zp-1776-4,0).
aquatic(zp-1776-4,0).
predator(zp-1776-4,0).
toothed(zp-1776-4,1).
backbone(zp-1776-4,1).
breathes(zp-1776-4,1).
venomous(zp-1776-4,0).
fins(zp-1776-4,0).
legs(zp-1776-4,2).
tail(zp-1776-4,1).
domestic(zp-1776-4,0).
catsize(zp-1776-4,1).

# Clauses for case zp-1745
# description named pony
zoo-problem(zp-1745-0).
description(zp-1745-0,zp-1745-4).
solution(zp-1745-0,1).
animal(zp-1745-4).
hair(zp-1745-4,1).
feathers(zp-1745-4,0).
egss(zp-1745-4,0).
milk(zp-1745-4,1).
airbone(zp-1745-4,0).
aquatic(zp-1745-4,0).
predator(zp-1745-4,0).
toothed(zp-1745-4,1).
backbone(zp-1745-4,1).
breathes(zp-1745-4,1).
venomous(zp-1745-4,0).
fins(zp-1745-4,0).
legs(zp-1745-4,4).
tail(zp-1745-4,1).
domestic(zp-1745-4,1).
catsize(zp-1745-4,1).

# Clauses for case zp-1772
# description named tuna
zoo-problem(zp-1772-0).
description(zp-1772-0,zp-1772-4).
solution(zp-1772-0,4).
animal(zp-1772-4).
hair(zp-1772-4,0).
feathers(zp-1772-4,0).
egss(zp-1772-4,1).
milk(zp-1772-4,0).
airbone(zp-1772-4,0).
aquatic(zp-1772-4,1).
predator(zp-1772-4,1).
toothed(zp-1772-4,1).
backbone(zp-1772-4,1).
breathes(zp-1772-4,0).
venomous(zp-1772-4,0).
fins(zp-1772-4,1).
legs(zp-1772-4,0).
tail(zp-1772-4,1).
domestic(zp-1772-4,0).
catsize(zp-1772-4,1).

# Clauses for case zp-1721
# description named kiwi
zoo-problem(zp-1721-0).
description(zp-1721-0,zp-1721-4).
solution(zp-1721-0,2).
animal(zp-1721-4).
hair(zp-1721-4,0).
feathers(zp-1721-4,1).
egss(zp-1721-4,1).
milk(zp-1721-4,0).
airbone(zp-1721-4,0).
aquatic(zp-1721-4,0).
predator(zp-1721-4,1).
toothed(zp-1721-4,0).
backbone(zp-1721-4,1).
breathes(zp-1721-4,1).
venomous(zp-1721-4,0).
fins(zp-1721-4,0).
legs(zp-1721-4,2).
tail(zp-1721-4,1).
domestic(zp-1721-4,0).
catsize(zp-1721-4,0).

# Clauses for case zp-1703
# description named flamingo
zoo-problem(zp-1703-0).
description(zp-1703-0,zp-1703-4).
solution(zp-1703-0,2).
animal(zp-1703-4).
hair(zp-1703-4,0).
feathers(zp-1703-4,1).
egss(zp-1703-4,1).
milk(zp-1703-4,0).
airbone(zp-1703-4,1).
aquatic(zp-1703-4,0).
predator(zp-1703-4,0).
toothed(zp-1703-4,0).
backbone(zp-1703-4,1).
breathes(zp-1703-4,1).
venomous(zp-1703-4,0).
fins(zp-1703-4,0).
legs(zp-1703-4,2).
tail(zp-1703-4,1).
domestic(zp-1703-4,0).
catsize(zp-1703-4,1).

# Clauses for case zp-1740
# description named pike
zoo-problem(zp-1740-0).
description(zp-1740-0,zp-1740-4).
solution(zp-1740-0,4).
animal(zp-1740-4).
hair(zp-1740-4,0).
feathers(zp-1740-4,0).
egss(zp-1740-4,1).
milk(zp-1740-4,0).
airbone(zp-1740-4,0).
aquatic(zp-1740-4,1).
predator(zp-1740-4,1).
toothed(zp-1740-4,1).
backbone(zp-1740-4,1).
breathes(zp-1740-4,0).
venomous(zp-1740-4,0).
fins(zp-1740-4,1).
legs(zp-1740-4,0).
tail(zp-1740-4,1).
domestic(zp-1740-4,0).
catsize(zp-1740-4,1).

# Clauses for case zp-1716
# description named hare
zoo-problem(zp-1716-0).
description(zp-1716-0,zp-1716-3).
solution(zp-1716-0,1).
animal(zp-1716-3).
hair(zp-1716-3,1).
feathers(zp-1716-3,0).
egss(zp-1716-3,0).
milk(zp-1716-3,1).
airbone(zp-1716-3,0).
aquatic(zp-1716-3,0).
predator(zp-1716-3,0).
toothed(zp-1716-3,1).
backbone(zp-1716-3,1).
breathes(zp-1716-3,1).
venomous(zp-1716-3,0).
fins(zp-1716-3,0).
legs(zp-1716-3,4).
tail(zp-1716-3,1).
domestic(zp-1716-3,0).
catsize(zp-1716-3,0).

# Clauses for case zp-1759
# description named skua
zoo-problem(zp-1759-0).
description(zp-1759-0,zp-1759-4).
solution(zp-1759-0,2).
animal(zp-1759-4).
hair(zp-1759-4,0).
feathers(zp-1759-4,1).
egss(zp-1759-4,1).
milk(zp-1759-4,0).
airbone(zp-1759-4,1).
aquatic(zp-1759-4,1).
predator(zp-1759-4,1).
toothed(zp-1759-4,0).
backbone(zp-1759-4,1).
breathes(zp-1759-4,1).
venomous(zp-1759-4,0).
fins(zp-1759-4,0).
legs(zp-1759-4,2).
tail(zp-1759-4,1).
domestic(zp-1759-4,0).
catsize(zp-1759-4,0).

# Clauses for case zp-1681
# description named antelope
zoo-problem(zp-1681-0).
description(zp-1681-0,zp-1681-4).
solution(zp-1681-0,1).
animal(zp-1681-4).
hair(zp-1681-4,1).
feathers(zp-1681-4,0).
egss(zp-1681-4,0).
milk(zp-1681-4,1).
airbone(zp-1681-4,0).
aquatic(zp-1681-4,0).
predator(zp-1681-4,0).
toothed(zp-1681-4,1).
backbone(zp-1681-4,1).
breathes(zp-1681-4,1).
venomous(zp-1681-4,0).
fins(zp-1681-4,0).
legs(zp-1681-4,4).
tail(zp-1681-4,1).
domestic(zp-1681-4,0).
catsize(zp-1681-4,1).

# Clauses for case zp-1700
# description named dove
zoo-problem(zp-1700-0).
description(zp-1700-0,zp-1700-4).
solution(zp-1700-0,2).
animal(zp-1700-4).
hair(zp-1700-4,0).
feathers(zp-1700-4,1).
egss(zp-1700-4,1).
milk(zp-1700-4,0).
airbone(zp-1700-4,1).
aquatic(zp-1700-4,0).
predator(zp-1700-4,0).
toothed(zp-1700-4,0).
backbone(zp-1700-4,1).
breathes(zp-1700-4,1).
venomous(zp-1700-4,0).
fins(zp-1700-4,0).
legs(zp-1700-4,2).
tail(zp-1700-4,1).
domestic(zp-1700-4,1).
catsize(zp-1700-4,0).

# Clauses for case zp-1743
# description named platypus
zoo-problem(zp-1743-0).
description(zp-1743-0,zp-1743-4).
solution(zp-1743-0,1).
animal(zp-1743-4).
hair(zp-1743-4,1).
feathers(zp-1743-4,0).
egss(zp-1743-4,1).
milk(zp-1743-4,1).
airbone(zp-1743-4,0).
aquatic(zp-1743-4,1).
predator(zp-1743-4,1).
toothed(zp-1743-4,0).
backbone(zp-1743-4,1).
breathes(zp-1743-4,1).
venomous(zp-1743-4,0).
fins(zp-1743-4,0).
legs(zp-1743-4,4).
tail(zp-1743-4,1).
domestic(zp-1743-4,0).
catsize(zp-1743-4,1).

# Clauses for case zp-1763
# description named sparrow
zoo-problem(zp-1763-0).
description(zp-1763-0,zp-1763-4).
solution(zp-1763-0,2).
animal(zp-1763-4).
hair(zp-1763-4,0).
feathers(zp-1763-4,1).
egss(zp-1763-4,1).
milk(zp-1763-4,0).
airbone(zp-1763-4,1).
aquatic(zp-1763-4,0).
predator(zp-1763-4,0).
toothed(zp-1763-4,0).
backbone(zp-1763-4,1).
breathes(zp-1763-4,1).
venomous(zp-1763-4,0).
fins(zp-1763-4,0).
legs(zp-1763-4,2).
tail(zp-1763-4,1).
domestic(zp-1763-4,0).
catsize(zp-1763-4,0).

# Clauses for case zp-1738
# description named penguin
zoo-problem(zp-1738-0).
description(zp-1738-0,zp-1738-4).
solution(zp-1738-0,2).
animal(zp-1738-4).
hair(zp-1738-4,0).
feathers(zp-1738-4,1).
egss(zp-1738-4,1).
milk(zp-1738-4,0).
airbone(zp-1738-4,0).
aquatic(zp-1738-4,1).
predator(zp-1738-4,1).
toothed(zp-1738-4,0).
backbone(zp-1738-4,1).
breathes(zp-1738-4,1).
venomous(zp-1738-4,0).
fins(zp-1738-4,0).
legs(zp-1738-4,2).
tail(zp-1738-4,1).
domestic(zp-1738-4,0).
catsize(zp-1738-4,1).

# Clauses for case zp-1757
# description named seawasp
zoo-problem(zp-1757-0).
description(zp-1757-0,zp-1757-2).
solution(zp-1757-0,7).
animal(zp-1757-2).
hair(zp-1757-2,0).
feathers(zp-1757-2,0).
egss(zp-1757-2,1).
milk(zp-1757-2,0).
airbone(zp-1757-2,0).
aquatic(zp-1757-2,1).
predator(zp-1757-2,1).
toothed(zp-1757-2,0).
backbone(zp-1757-2,0).
breathes(zp-1757-2,0).
venomous(zp-1757-2,1).
fins(zp-1757-2,0).
legs(zp-1757-2,0).
tail(zp-1757-2,0).
domestic(zp-1757-2,0).
catsize(zp-1757-2,0).

# Clauses for case zp-1707
# description named fruitbat
zoo-problem(zp-1707-0).
description(zp-1707-0,zp-1707-4).
solution(zp-1707-0,1).
animal(zp-1707-4).
hair(zp-1707-4,1).
feathers(zp-1707-4,0).
egss(zp-1707-4,0).
milk(zp-1707-4,1).
airbone(zp-1707-4,1).
aquatic(zp-1707-4,0).
predator(zp-1707-4,0).
toothed(zp-1707-4,1).
backbone(zp-1707-4,1).
breathes(zp-1707-4,1).
venomous(zp-1707-4,0).
fins(zp-1707-4,0).
legs(zp-1707-4,2).
tail(zp-1707-4,1).
domestic(zp-1707-4,0).
catsize(zp-1707-4,0).

# Clauses for case zp-1778
# description named wolf
zoo-problem(zp-1778-0).
description(zp-1778-0,zp-1778-4).
solution(zp-1778-0,1).
animal(zp-1778-4).
hair(zp-1778-4,1).
feathers(zp-1778-4,0).
egss(zp-1778-4,0).
milk(zp-1778-4,1).
airbone(zp-1778-4,0).
aquatic(zp-1778-4,0).
predator(zp-1778-4,1).
toothed(zp-1778-4,1).
backbone(zp-1778-4,1).
breathes(zp-1778-4,1).
venomous(zp-1778-4,0).
fins(zp-1778-4,0).
legs(zp-1778-4,4).
tail(zp-1778-4,1).
domestic(zp-1778-4,0).
catsize(zp-1778-4,1).

# Clauses for case zp-1748
# description named pussycat
zoo-problem(zp-1748-0).
description(zp-1748-0,zp-1748-3).
solution(zp-1748-0,1).
animal(zp-1748-3).
hair(zp-1748-3,1).
feathers(zp-1748-3,0).
egss(zp-1748-3,0).
milk(zp-1748-3,1).
airbone(zp-1748-3,0).
aquatic(zp-1748-3,0).
predator(zp-1748-3,1).
toothed(zp-1748-3,1).
backbone(zp-1748-3,1).
breathes(zp-1748-3,1).
venomous(zp-1748-3,0).
fins(zp-1748-3,0).
legs(zp-1748-3,4).
tail(zp-1748-3,1).
domestic(zp-1748-3,1).
catsize(zp-1748-3,1).

# Clauses for case zp-1709
# description named girl
zoo-problem(zp-1709-0).
description(zp-1709-0,zp-1709-4).
solution(zp-1709-0,1).
animal(zp-1709-4).
hair(zp-1709-4,1).
feathers(zp-1709-4,0).
egss(zp-1709-4,0).
milk(zp-1709-4,1).
airbone(zp-1709-4,0).
aquatic(zp-1709-4,0).
predator(zp-1709-4,1).
toothed(zp-1709-4,1).
backbone(zp-1709-4,1).
breathes(zp-1709-4,1).
venomous(zp-1709-4,0).
fins(zp-1709-4,0).
legs(zp-1709-4,2).
tail(zp-1709-4,0).
domestic(zp-1709-4,1).
catsize(zp-1709-4,1).

# Clauses for case zp-1737
# description named parakeet
zoo-problem(zp-1737-0).
description(zp-1737-0,zp-1737-4).
solution(zp-1737-0,2).
animal(zp-1737-4).
hair(zp-1737-4,0).
feathers(zp-1737-4,1).
egss(zp-1737-4,1).
milk(zp-1737-4,0).
airbone(zp-1737-4,1).
aquatic(zp-1737-4,0).
predator(zp-1737-4,0).
toothed(zp-1737-4,0).
backbone(zp-1737-4,1).
breathes(zp-1737-4,1).
venomous(zp-1737-4,0).
fins(zp-1737-4,0).
legs(zp-1737-4,2).
tail(zp-1737-4,1).
domestic(zp-1737-4,1).
catsize(zp-1737-4,0).

# Clauses for case zp-1780
# description named wren
zoo-problem(zp-1780-0).
description(zp-1780-0,zp-1780-4).
solution(zp-1780-0,2).
animal(zp-1780-4).
hair(zp-1780-4,0).
feathers(zp-1780-4,1).
egss(zp-1780-4,1).
milk(zp-1780-4,0).
airbone(zp-1780-4,1).
aquatic(zp-1780-4,0).
predator(zp-1780-4,0).
toothed(zp-1780-4,0).
backbone(zp-1780-4,1).
breathes(zp-1780-4,1).
venomous(zp-1780-4,0).
fins(zp-1780-4,0).
legs(zp-1780-4,2).
tail(zp-1780-4,1).
domestic(zp-1780-4,0).
catsize(zp-1780-4,0).
